Courant-Fischer min-max principle #incomplete References https://jasoncantarella.com/downloads/sagt-courant-fischer.pdf